Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
271	Elastic forces on nematic point defects Eugene C. Gartland, Jr. Department of Mathematical Sciences, Kent State University, P.O. Box 5190, Kent, OHUSA Andr´e M. Sonnet and Epifanio G. Virga Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2002-03-09 22:23:07 Philosophy of mind Semantics Logic Viscosity Physics Metaphilosophy Interpretation Model theory Philosophy of language
272	Microsoft Word - Dalberg_MAL_master_20080815 Add to Reading List Source URL: nfi.ku.dk Language: English - Date: 2015-06-17 14:42:46 Philosophical logic Linguistics Logic Semantics Semiotics Denotation Identifier Bog Philosophy of language Analytic philosophy Meaning
273	Curriculum Vitae Jeffrey C. King Department of Philosophy Rutgers, the State University of New Jersey 106 Somerset St. 5th floor New Brunswick, NJ 08901 Add to Reading List Source URL: jeffreycking.com Language: English - Date: 2015-04-15 14:27:17 Philosophy Analytic philosophers Meaning Philosophical logic James Higginbotham Donkey pronoun Scott Soames Pragmatics Robert Stalnaker Analytic philosophy Philosophy of language Semantics
274	Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:45 Ontology Semantic Web Logic programming Non-classical logic Model theory Description logic Web Ontology Language Stable model semantics Semantic Web Rule Language Logic Science Mathematical logic
275	GT-VC 2005 Preliminary Version Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-02-19 09:48:16 Computer science Logic Predicate logic Process calculi Π-calculus Lambda calculus Explicit substitution Free variables and bound variables Symbol Theoretical computer science Mathematics Applied mathematics
276	Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Model theory Predicate logic Semantics Lambda calculus Logic in computer science First-order logic Skolem normal form Interpretation Function Logic Mathematical logic Mathematics
277	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-07-24 12:05:06 Lisp programming language Logic in computer science Programming language semantics Reduction strategy Predicate logic Operational semantics Robert Bruce Findler Free variables and bound variables Eval Programming language theory Software engineering Computing
278	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science
279	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
280	Future event logic - axioms and complexity Hans van Ditmarsch Logic, University of Sevilla, Spain Tim French Computer Science and Software Engineering, The University of Western Australia Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:06 Model theory Deduction Modal logic Metalogic Entailment Interpretation Kripke semantics Epistemic modal logic Soundness Logic Mathematical logic Philosophical logic

UPDATE